1. A science of operations
Author: Mark Priestley.,Priestley, Mark
Library: Library of College of Science University of Tehran (Tehran)
Subject: Computer programming,Programming languages (Electronic computers),Microcomputers,Logic, Symbolic and mathematical.,History.,History.,History.
Classification :
QA76
.
6
.
P73
2011
2. A science of operations
Author: Mark Priestley
Library: Central Library and Information Center of Shahed University (Tehran)
Subject: Computer programming, History,Programming languages (Electronic computers), History,Microcomputers, History,Logic, Symbolic and mathematical
Classification :
QA
،
76
.
6
،.
P737
،
2010
3. First-order dynamic logic
Author: Harel, David
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Electronic digital computers-- Programming,، Logic, Symbolic and mathematical,، Recursion theory
Classification :
QA
76
.
6
.
H34
1979
4. First-order dynamic logic
Author: Harel, David
Library: Central Library and Documentation Center (Kerman)
Subject: ، Electronic digital computers - Programming,، Logic, Symbolic and mathematical,، Recursion theory
Classification :
QA
76
.
L4
v
.
68
5. Introduction to logic programming
Author: Hogger, Christorpher John
Library: Central Library and Documentation Center (Kerman)
Subject: ، Electronic digital computers - Programming,، Logic, Symbolic and mathematical
Classification :
QA
76
.
6
.
H624
1984
6. Les mathematiques a la portee de l'ordinateur
Author: / Pref de J. Kuntzmann
Library: Library of College of Science University of Tehran (Tehran)
Subject: Automatic theorem proving,Logic, Symbolic and mathematical,Programming languages (Electronic computers)
Classification :
Q
335
.
A75
7. Logic and computer science
Author: / S. Homer... [et al.]
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: Logic, Symbolic and mathematical -- Congresses,Programming language (Electronic Computers)--Syntax,Computational complextiy -- Congresses
Classification :
QA
9
.
A1L6
1990
8. Logic of Domains
Author: Guo-Qiang Zhang
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Programming languages )Electronic computers( -- Semantics,، Logic, Symbolic and mathematical
Classification :
QA
76
.
7
.
Z47
1991
9. Logic of domains
Author: Zhang, Guo-Qiang
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Programming languages )Electronic computers(-- Semantics,، Logic, Symbolic and mathematical
Classification :
QA
76
.
7
.
Z47
1991
10. Logics of specification languages
Author: Dines Bjrner, Martin C. Henson, editors
Library: (Semnan)
Subject: Semantics ، Programming languages )Electronic computers(,، Logic, Symbolic and mathematical
Classification :
QA
76
.
7
.
L65
2008
11. Logics of specification languages
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Semantics ، Programming languages )Electronic computers(,، Logic, Symbolic and mathematical
Classification :
QA
76
.
7
.
L65
2008
12. Logics of specification languages
Author: Dines Bjrner, Martin C. Henson, editors
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Programming languages )Electronic computers( -- Semantics,، Logic, Symbolic and mathematical
Classification :
QA
76
.
7
.
L63
13. Mathematical logic and programming language
Author: Hoare, C. A. R.
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Programming languages )Electronic computers(,، Logic, Symbolic and mathematical
Classification :
QA
76
.
6
.
M3646
1985
14. Mathematical logic and programming languages
Author: / edited by C.A.R. Hoare and J.C. Shepherdson
Library: Library of College of Science University of Tehran (Tehran)
Subject: Programming languages (Electronic computers),Logic, Symbolic and mathematical
Classification :
QA
76
.
6
.
M3646
1985
15. Mathematical logic and programming languages
Author: / Edited by C. A. R. Hoare, J. C. Shepherdson
Library: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
Subject: Programming languages (Electronic computers),Logic, symbolic and mathematical
Classification :
QA76
.
6
.
M3646
1985
16. Temporal logic : first international conference, ICTL '94, Bonn, Germany, July 11-14, 1994 : proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Electronic digital computers-- Programming,، Logic, Symbolic and mathematical
Classification :
QA
76
.
6
.
T4414
1994
17. Temporal logic : mathematical foundations and computational aspects
Author: Gabbay, Dov M.
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Electronic digital computers - Programming , Logic, Symbolic and mathematical
Classification :
QA
76
.
6
.
G27
1994
18. Temporal logic of programs
Author: / Fred Kroger
Library: Library of College of Science University of Tehran (Tehran)
Subject: Electronic digital computers -- Programming,Logic, Symbolic and mathematical
Classification :
QA
76
.
6
.
K753
1987
19. Temporal logic of programs
Author: Kroger, Fred
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Electronic digital computers-- Programming,، Logic, Symbolic and mathematical
Classification :
QA
76
.
6
.
K753
1987
20. Temporal logic of programs
Author: Kroger, Fred
Library: Central Library and Documentation Center (Kerman)
Subject: ، Electronic digital computers - Programming,، Logic, Symbolic and mathematical
Classification :
QA
76
.
6
.
K753
1987
